<<VilCretas`

GrafoString["Me Jubilo"]

vectorComponentes={{s0,s1,s2,s3},{a,b,c,d},s1,{{s0,a,{s2}},{s0,b,{s3}},{s0,c,{s0,s2,s3}},{s0,d,{s0,s2}},{s1,a,{s1}},{s1,b,{s1,s3}},{s1,c,{s0,s2}},{s1,d,{s1,s2,s3}},{s2,a,{s1}},{s2,b,{s0,s1,s2,s3}},{s2,c,{s1,s2,s3}},{s2,d,{s1,s3}},{s3,a,{s0}},{s3,b,{s0,s2,s3}},{s3,c,{s3}},{s3,d,{s0,s2,s3}}},{s1,s2,s3}};

AutomataDeterministicoEquivalente[Automata[vectorComponentes[[1]],vectorComponentes[[2]],vectorComponentes[[3]],vectorComponentes[[4]],vectorComponentes[[5]]],onlyreduce->True,colores->True]

ComponentesAutomata[G]

gramatica={"A->B","A->ccb","A->bSS","A->D","A->DSC","B->SA","B->ccASC","B->c","B->SABS","C->bB","C->D","C->a","C->bbD","C->aSa","D->cSaba","D->aBABB","D->BSDaS","D->CB","D->A","S->BDSc","S->D","S->CAb","S->a","S->Dca"};

NotationBNF[gramatica]

vectorComponentes={{A,B,C,S},{a,b,c},A,{{A,a,B},{A,b,C},{A,c,S},{B,a,B},{B,b,A},{B,c,A},{C,a,C},{C,b,A},{C,c,B},{S,a,A},{S,b,S},{S,c,C}},{B}};

AutomataToRegular[Automata[vectorComponentes[[1]],vectorComponentes[[2]],S,vectorComponentes[[4]],vectorComponentes[[5]]]]